31 results
ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 03 October 2022, pp. 1-51
-
- Article
- Export citation
ON THE UNCOUNTABILITY OF ${\mathbb R}$
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 07 April 2022, pp. 1474-1521
- Print publication:
- December 2022
-
- Article
- Export citation
COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 23 September 2019, pp. 1422-1465
- Print publication:
- December 2019
-
- Article
- Export citation
Higher generalizations of the Turing Model
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 397-433
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp vii-viii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp i-vi
-
- Chapter
- Export citation
Logic Colloquium 2005
-
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007
LECTURE NOTES IN LOGIC
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 273-274
-
- Chapter
- Export citation
Speakers and Titles
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp xi-xiv
-
- Chapter
- Export citation
Introduction
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp ix-x
-
- Chapter
- Export citation
Mathematics of computing at CiE 2005
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 5 / October 2006
- Published online by Cambridge University Press:
- 11 October 2006, pp. 735-736
-
- Article
- Export citation
On sequential functionals of type 3
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 2 / April 2006
- Published online by Cambridge University Press:
- 17 May 2006, pp. 279-289
-
- Article
- Export citation
Definability and reducibility in higher types over the reals
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 200-220
-
- Chapter
- Export citation
Computing with Functionals—Computability Theory or Computer Science?
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 43-59
- Print publication:
- March 2006
-
- Article
- Export citation
Computability over the partial continuous functionals
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1133-1142
- Print publication:
- September 2000
-
- Article
- Export citation
Arnold Beckmann and Wolfram Pohlers. Applications of cut-free infinitary derivations to generalized recursion theory. Annals of pure and applied logic, vol. 94 (1998), pp. 7–19.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 221-222
- Print publication:
- June 2000
-
- Article
- Export citation
Hyperfinite type structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 3 / September 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1216-1242
- Print publication:
- September 1999
-
- Article
- Export citation
A Mahlo-Universe of Effective Domains with Totality
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 293-312
-
- Chapter
- Export citation
Lawrence S. Moss. Power set recursion. Annals of pure and applied logic, vol. 71 (1995), pp. 247–306.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1388-1389
- Print publication:
- December 1996
-
- Article
- Export citation
A Hierarchy of domains with totality, but without density
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 233-258
-
- Chapter
- Export citation